Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
161	Psychologica Belgica 2010, 50-3&4, [removed]Against logical form P.N. Johnson-Laird Princeton University, New Jersey, USA Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:40:33 Propositional calculus Logical consequence Logical syntax Inference Mental model Entailment Proposition Argument Rule of inference Logic Reasoning Deduction
162	Completeness of Propositional Logic as a Program Ryan Stansifer Department of Computer Sciences Florida Institute of Technology Melbourne, Florida USA 32901 Add to Reading List Source URL: cs.fit.edu Language: English - Date: 2006-01-03 14:49:24 Propositional calculus Proof theory Logical syntax Fuzzy logic Deduction theorem Contradiction Axiom Theorem BL Logic Mathematical logic Mathematics
163	Combining Shared State with Speculative Parallelism in a Functional Language Matthew Le Matthew Fluet Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Deduction Entailment Logical consequence Logical syntax Metalogic Monad Thread Parallel computing Schedule Logic Computing Software engineering
164	8. Pedotransfer Functions of Soil Water Retention Characteristic 8.1 Pedotransfer Function Equation of Soil Water Retention Characteristic The pedotransfer function equation of soil water retention characteristic is ex Add to Reading List Source URL: vro.depi.vic.gov.au Language: English - Date: 2015-04-17 11:15:56 Logical syntax Metalogic Philosophical logic Propositional calculus Water retention curve Logic Deduction Entailment
165	NATURAL FORMALISM PETER KOEPKE The language of mathematics as found in textbooks and research articles is a variant of natural language which admits symbolic terms and formulas within argumentative natural language conte Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2015-03-28 11:33:54 Philosophy of mathematics Logical syntax Formal languages Proof theory Mathematical proof Formal proof Formalism Automated theorem proving Theorem Logic Mathematics Mathematical logic
166	COLLECTION, LEMMAS, REFLECTION ALBERT VISSER Σ1 -collection is a basic principle of thought. In one of its forms it tells us that a recursive function on a finite set of natural numbers is bounded. The principle is so d Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2015-03-28 11:33:55 Logical syntax Philosophical logic Philosophy of language Theorems Lemma Logic Mathematics Logical consequence
167	Chair for Applied Computer Science IV Prof. Dr.-Ing. Stefan Jablonski DSM[removed]On the Way of Bottom-Up Designing Textual DomainSpecific Modelling Languages Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2013-11-04 04:32:23 Software engineering Formal languages Source code Abstraction Logical syntax Delimiter Syntax Type–token distinction Programming language Logic Metalogic Computing
168	JAROSLAV PEREGRIN INTERPRETING FORMAL LOGIC* ABSTRACT. The concept of semantic interpretation is a source of chronic confusion: the introduction of a notion of interpretation can be the result of several quite different Add to Reading List Source URL: jarda.peregrin.cz Language: English - Date: 2005-02-22 12:43:03 Philosophy of language Model theory Logical truth Interpretation First-order logic Truth Logical constant Propositional calculus Logical connective Logic Philosophical logic Logical syntax
169	Connection Science, Vol. 7, No. 2, [removed]D ensity Plots of H idden Value U nit Activations Reveal Interpretable Bands Add to Reading List Source URL: www.bcp.psych.ualberta.ca Language: English - Date: 2012-07-11 15:01:00 Propositional calculus Deduction Entailment Metalogic Radial basis function network Logic Neural networks Logical syntax
170	H:/Jack/My Documents/Web/Math/Writing/writing-proofs.dvi Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2012-03-25 20:18:07 Logical syntax Formal languages Metalogic Proof theory Theorem Mathematical proof Formal proof Well-formed formula If and only if Logic Mathematics Mathematical logic

UPDATE